3.6.2 TA Module Tutorial

3.6.2 TA Module Tutorial

In this section, we illustrate the TA module's modeling language with the Fischer's Protocol Example, Railway Control System Example and CSMA/CD Protocol Example.